Словарь по логике - алгоритм (алгорифм)

(от Algorithmi латинизированная форма имени выдающегося среднеазиатского ученого Аль-Хорезми) конечный набор правил, позволяющих чисто механически решать любую конкретную задачу из некоторого класса однотипных задач. Примерами простейших А. могут служить А. вычитания, сложения, умножения и деления целых чисел в арифметике с десятичной системой счисления.

Осуществление алгоритмического процесса может быть передано машине, которая благодаря своему быстродействию способна решать задачи, недоступные человеку. Возможность передать машине осуществление алгоритмических процедур стимулировала создание математической теории алгоритмов, в которой понятие А. было уточнено с помощью таких понятий, как "рекурсивная функция", "машина Тьюринга", "нормальный А." и т. п.